1. Proceedings
پدیدآورنده : Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
رده :
QA
76
.
9
.
M35
S94
1989
